$\forall$$m$, $a$, ${\it a'}$, $b$, ${\it b'}$:$\mathbb{Z}$. ($a$ = ${\it a'}$ mod $m$) $\Rightarrow$ ($b$ = ${\it b'}$ mod $m$) $\Rightarrow$ (($a$$\cdot$$b$) = (${\it a'}$$\cdot$${\it b'}$) mod $m$)